翻訳と辞書
Words near each other
・ Auto Esporte Clube (PI)
・ Auto Euro Indonesia
・ Auto Europe
・ Auto Expo
・ Auto Express
・ Auto Express 86-class ferry
・ Auto Focus
・ Auto Freight Transport Building of Oregon and Washington
・ Auto Fritze
・ Auto GP
・ Auto Guangzhou
・ Auto independence
・ Auto insurance risk selection
・ Auto Italia
・ Auto Italia South East
Auto magma object
・ Auto maintenance
・ Auto mechanic
・ Auto Mobil International
・ Auto Modellista
・ Auto Parts Warehouse
・ Auto Pilen
・ Auto Plus Raceway
・ Auto polo
・ Auto ptr
・ Auto race (disambiguation)
・ Auto Race (Japanese sport)
・ Auto Race (ride)
・ Auto racing
・ Auto Racing (video game)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Auto magma object : ウィキペディア英語版
Auto magma object

In mathematics, a magma in a category, or magma object, can be defined in a category with a cartesian product. This is the 'internal' form of definition of a binary operation in a category.
As Mag the magma category has direct products, the concept of an (internal) magma (or ''internal binary operation'') in Mag is defined, say
\top'\colon (X,\top)\times(X,\top)\to(X,\top)
Since \top' is a morphism we must have
(x \top' y) \top (u \top' z) = (x \top u) \top' (y \top z)
If we want to take the original operation, this will be allowed only if the medial identity
(x \top y) \top (u \top z) = (x \top u) \top (y \top z)
is valid.

This operation, which gives a medial magma, can have a two-sided identity only if it is a commutative monoidal operation. The ''if'' direction is obvious.
As a result Med, the medial category, has all its objects as '' medial objects''; and this ''characterizes'' it.


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Auto magma object」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.